Building efficient soft and cost MDD constraints
نویسندگان
چکیده
Recent developments of efficient propagators, operations and creation methods for MDDs allow us to directly build efficient MDD-based models, without the need of intermediate data structures. In this paper, we make another step in this direction by defining efficient methods to handle cost and soft versions of the MDD constraint. First, we improve the existing algorithms, then we propose to perform several graph operations that reformulate both constraints as a classical MDD constraint. This directly offers cost and soft versions for table constraints and any constraints which can be viewed as an MDD (regular, slide, knapsack, grammar...).
منابع مشابه
AN EFFICIENT METHOD FOR OPTIMUM PERFORMANCE-BASED SEISMIC DESIGN OF FUSED BUILDING STRUCTURES
A dual structural fused system consists of replaceable ductile elements (fuses) that sustain major seismic damage and leave the primary structure (PS) virtually undamaged. The seismic performance of a fused structural system is determined by the combined behavior of the individual PS and fuse components. In order to design a feasible and economic structural fuse concept, we need a procedure to ...
متن کاملConstructions and In-Place Operations for MDDs Based Constraints
This papers extends in three ways our previous work about efficient operations on Multi-valued Decision Diagrams (MDD) for building Constraint Programming models. First, we improve the existing methods for transforming a set of tuples, Global Cut Seeds or sequences of tuples into MDDs. Then, we present in-place algorithms for adding and deleting tuples from an MDD. Finally, we describe an incre...
متن کاملFORM FINDING FOR RECTILINEAR ORTHOGONAL BUILDINGS THROUGH CHARGED SYSTEM SEARCH ALGORITHM
Preliminary layout design of buildings has a substantial effect on the ultimate design of structural components and accordingly influences the construction cost. Exploring structurally efficient forms and shapes during the conceptual design stage of a project can also facilitate the optimum integrated design of buildings. This paper presents an automated method of determining column layout desi...
متن کاملInteractive Cost Configuration Over Decision Diagrams
In many AI domains such as product configuration, a user should interactively specify a solution that must satisfy a set of constraints. In such scenarios, offline compilation of feasible solutions into a tractable representation is an important approach to delivering efficient backtrack-free user interaction online. In particular, binary decision diagrams (BDDs) have been successfully used as ...
متن کاملImproving GAC-4 for Table and MDD Constraints
We introduce GAC-4R, MDD-4, and MDD-4R three new algorithms for maintaining arc consistency for table and MDD constraints. GAC-4R improves the well-known GAC-4 algorithm by managing the internal data structures in a different way. Instead of maintaining the internal data structures only by studying the consequences of deletions, we propose to reset the data structures by recomputing them from s...
متن کامل